21. Embedded software for SoC
پدیدآورنده : / edited by Ahmed Amine Jerraya ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computer software- Development Congresses,Operating systems (Computers) Congresses,Embedded computer systems- Programming Congresses
رده :
QA76
.
76
.
D47
,
E46
2003
22. Embedded software : second International conference, EMSOFT 2002, Grenoble, France, October 2002 : proceedings
پدیدآورنده : Alberto Sangiovanni-Vincentelli, Joseph Sifakis )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Programming -- Congresses ، Embedded computer systems
رده :
QA
76
.
L28
Vol
.
2491
23. Embedded software : third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings
پدیدآورنده : Rajeev Alur, Insup Lee )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Programming -- Congresses ، Embedded computer systems
رده :
QA
76
.
L28
Vol
.
2855
24. Experience with the management of software projects, 1989 : proceedings of the Third IFAC/IFIP Workshop, Indiana, USA, 30 October- 1 November, 1989
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Computer software- Development- Management- Congresses
25. Experience with the management of software projects 1992: proceedings of the fourth IFAC/IFIP work shop, Schloss Seggau, Austria 18-20 May 1992
پدیدآورنده : Edited by P. Elzer and V. Haase
موضوع : Computer software-Development-Management-congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
26. Extreme programming and agile methodes - XP/ Agile Universe 2004 : 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004 : proceedings
پدیدآورنده : Carman Zannier, Hakan Erdogmus, Lowell Lindstorm ) eds.(
کتابخانه: (طهران)
موضوع : Development -- Congresses ، Computer software,Congresses ، eXtreme programming
رده :
QA
76
.
L28
Vol
.
3134
27. Extreme programming and agile methods : XP/Agile Universe 2002 : second XP Universe and first Agile Universe Conference, Chicago, IL, USA, August 4-7, 2002 : proceedings
پدیدآورنده : Don Wells, Laurie Williams )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، eXtreme programming
رده :
QA
76
.
L28
Vol
.
2418
28. Extreme programming and agile methods : XP/Agile Universe 2003 : third XP Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003 : proceedings
پدیدآورنده : Frank Maurer, Don Wells )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، eXtreme programming
رده :
QA
76
.
L28
Vol
.
2753
29. Extreme programming and agile processes in software engineering : 6th International Conference, XP 2005, Sheffield, UK , June 18-23, 2005; proceedings
پدیدآورنده : Hubert Baumeister, Michele Marchesi, Mike Holcombe )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، eXtreme programming
رده :
QA
76
.
L28
Vol
.
3556
30. Extreme programming and agile processes in software engineering : 5th international conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004 : proceedings
پدیدآورنده : Jutta Eckstein, Hubert Baumeister )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، eXtreme programming
رده :
QA
76
.
L28
Vol
.
3092
31. Extreme programming and agile processes in software engineering : 4th international conference, XP 2003, genova, Italy, May 25-29, 2003 : proceedings
پدیدآورنده : Michele Marchesi, Giancarlo Succi )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، eXtreme programming
رده :
QA
76
.
L28
Vol
.
2675
32. FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings
پدیدآورنده : John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Congresses ، System design
رده :
QA
76
.
L28
Vol
.
3582
33. FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
پدیدآورنده : Jeannette M. Wing, Jim Woodcock, Jim Davies )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Application software -- Development
رده :
QA
76
.
L28
Vol
.
1708-1709
34. FME'96 : Industrial benefit of formal methods : Thrid International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings
پدیدآورنده : Marie-Claude Gaudel, James Woodcock )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1051
35. FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
پدیدآورنده : Keijiro Araki, Stefania Gnesi, Dino Mandrioli )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
رده :
QA
76
.
L28
Vol
.
2805
36. FME 2001 : formal methods for increasing software productivity : ]10th[ International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings
پدیدآورنده : Jose Nuno Oliveira, Pamela Zave )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2021
37. FME 2002 : formal methods-getting it right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings
پدیدآورنده : Lars-Henrik Eriksson, Peter Alexander Lindsay )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
رده :
QA
76
.
L28
Vol
.
2391
38. FME'94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24 - 28, 1994, proceedings
پدیدآورنده : Maurice Naftalin, Tim Denvir, Miquet Bertran )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
873
39. FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer software-- Development-- Congresses
رده :
QA
76
.
76
.
D47
.
I593
1993
40. FME'93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19-23, 1993 proceedings
پدیدآورنده : J.C.P. Woodcock, P.G. Larsen )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
670